<html>
<head><meta charset="utf-8"><title>I-prioritize #78113 GAT lifetime mismatch with type paramet… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html">I-prioritize #78113 GAT lifetime mismatch with type paramet…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="213818289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213818289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213818289">(Oct 19 2020 at 17:25)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/78113">#78113</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="213818419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213818419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213818419">(Oct 19 2020 at 17:26)</a>:</h4>
<p>compile -&gt; error</p>



<a name="213818423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213818423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213818423">(Oct 19 2020 at 17:26)</a>:</h4>
<p>I'm not sure if we consider this a "regression" or not given that this is a nightly feature, but I wanted to check that this is an intended change.</p>



<a name="213818937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213818937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213818937">(Oct 19 2020 at 17:30)</a>:</h4>
<p>I don't think we care about nightly features</p>



<a name="213819118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213819118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213819118">(Oct 19 2020 at 17:31)</a>:</h4>
<p>So this is an expected change from compile pass to compile fail?</p>



<a name="213819380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213819380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213819380">(Oct 19 2020 at 17:33)</a>:</h4>
<p>i think this is a bug and we should accept this code</p>



<a name="213819634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213819634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213819634">(Oct 19 2020 at 17:35)</a>:</h4>
<p>but wg-prioritization does not need to - or even should imo - prioritize bugs issues which can not affect users which don't use any unstable features afaik</p>



<a name="213819997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213819997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213819997">(Oct 19 2020 at 17:38)</a>:</h4>
<p>Yes, I agree. I just wanted a way to check if this is an intended change.</p>



<a name="213820072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213820072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213820072">(Oct 19 2020 at 17:38)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/78113">#78113</a>'s prioritization request has been removed.</p>



<a name="213833488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213833488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213833488">(Oct 19 2020 at 19:30)</a>:</h4>
<p>most likely will be fixed as a side effect of something else being implemented</p>



<a name="213837372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213837372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213837372">(Oct 19 2020 at 20:02)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6/near/213818423">said</a>:</p>
<blockquote>
<p>I'm not sure if we consider this a "regression" or not given that this is a nightly feature, but I wanted to check that this is an intended change.</p>
</blockquote>
<p>Basically if it needs a nightly compiler (nightly feature, <code>-Z</code> flags, etc...), we can't consider it a <code>regression-from-stable-to-*</code> because <em>it hasn't reached stable yet</em>.</p>



<a name="213837816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378113%20GAT%20lifetime%20mismatch%20with%20type%20paramet%E2%80%A6/near/213837816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378113.20GAT.20lifetime.20mismatch.20with.20type.20paramet.E2.80.A6.html#213837816">(Oct 19 2020 at 20:05)</a>:</h4>
<p>sorry wrong channel</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>